Applications of Category Theory to the Area of Algebraic Specification in Computer Science
Identifieur interne : 00B390 ( Main/Exploration ); précédent : 00B389; suivant : 00B391Applications of Category Theory to the Area of Algebraic Specification in Computer Science
Auteurs : Hartmut Ehrig [Allemagne] ; Martin Gro E-Rhode [Allemagne] ; Uwe Wolter [Allemagne]Source :
- Applied Categorical Structures [ 0927-2852 ] ; 1998-03-01.
English descriptors
Abstract
Abstract: The theory of algebraic specifications – one of the most important mathematical approaches to the specification of abstract data types and software systems – is reviewed from a mathematical and a computer science point of view. The important role of category theory in this area is discussed and it is shown how the following selected problems are treated using category theory: First, a unified framework for specification logics, second compositional semantics, third partial algebras and their specification, and fourth specifications and models for concurrent systems. For the solution of two of the problems classifying categories are used. They allow to present categories of algebras as functor categories and to derive a number of important properties from well known results for functor categories.
Url:
DOI: 10.1023/A:1008688122154
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002729
- to stream Istex, to step Curation: 002696
- to stream Istex, to step Checkpoint: 002623
- to stream Main, to step Merge: 00BB13
- to stream Main, to step Curation: 00B390
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Applications of Category Theory to the Area of Algebraic Specification in Computer Science</title><author><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name></author><author><name sortKey="Gro E Rhode, Martin" sort="Gro E Rhode, Martin" uniqKey="Gro E Rhode M" first="Martin" last="Gro E-Rhode">Martin Gro E-Rhode</name></author><author><name sortKey="Wolter, Uwe" sort="Wolter, Uwe" uniqKey="Wolter U" first="Uwe" last="Wolter">Uwe Wolter</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:A5FF0CC5E3C5AB46022FDB9451FB40A250E4BC54</idno><date when="1998" year="1998">1998</date><idno type="doi">10.1023/A:1008688122154</idno><idno type="url">https://api.istex.fr/ark:/67375/VQC-Z3TJLD09-G/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002729</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002729</idno><idno type="wicri:Area/Istex/Curation">002696</idno><idno type="wicri:Area/Istex/Checkpoint">002623</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002623</idno><idno type="wicri:doubleKey">0927-2852:1998:Ehrig H:applications:of:category</idno><idno type="wicri:Area/Main/Merge">00BB13</idno><idno type="wicri:Area/Main/Curation">00B390</idno><idno type="wicri:Area/Main/Exploration">00B390</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Applications of Category Theory to the Area of Algebraic Specification in Computer Science</title><author><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name><affiliation wicri:level="4"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Technische Universität Berlin, FB Informatik, Sekr. FR 6-1, Franklinstr. 28/29, D-10587, Berlin</wicri:regionArea><placeName><region type="land" nuts="3">Berlin</region><settlement type="city">Berlin</settlement></placeName><orgName type="university">Université technique de Berlin</orgName></affiliation></author><author><name sortKey="Gro E Rhode, Martin" sort="Gro E Rhode, Martin" uniqKey="Gro E Rhode M" first="Martin" last="Gro E-Rhode">Martin Gro E-Rhode</name><affiliation wicri:level="4"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Technische Universität Berlin, FB Informatik, Sekr. FR 6-1, Franklinstr. 28/29, D-10587, Berlin</wicri:regionArea><placeName><region type="land" nuts="3">Berlin</region><settlement type="city">Berlin</settlement></placeName><orgName type="university">Université technique de Berlin</orgName></affiliation></author><author><name sortKey="Wolter, Uwe" sort="Wolter, Uwe" uniqKey="Wolter U" first="Uwe" last="Wolter">Uwe Wolter</name><affiliation wicri:level="4"><country xml:lang="fr">Allemagne</country><wicri:regionArea>Technische Universität Berlin, FB Informatik, Sekr. FR 6-1, Franklinstr. 28/29, D-10587, Berlin</wicri:regionArea><placeName><region type="land" nuts="3">Berlin</region><settlement type="city">Berlin</settlement></placeName><orgName type="university">Université technique de Berlin</orgName></affiliation></author></analytic><monogr></monogr><series><title level="j">Applied Categorical Structures</title><title level="j" type="sub">A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science</title><title level="j" type="abbrev">Applied Categorical Structures</title><idno type="ISSN">0927-2852</idno><idno type="eISSN">1572-9095</idno><imprint><publisher>Kluwer Academic Publishers</publisher><pubPlace>Dordrecht</pubPlace><date type="published" when="1998-03-01">1998-03-01</date><biblScope unit="volume">6</biblScope><biblScope unit="issue">1</biblScope><biblScope unit="page" from="1">1</biblScope><biblScope unit="page" to="35">35</biblScope></imprint><idno type="ISSN">0927-2852</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0927-2852</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>abstract data types</term><term>application of category theory</term><term>formal specification</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The theory of algebraic specifications – one of the most important mathematical approaches to the specification of abstract data types and software systems – is reviewed from a mathematical and a computer science point of view. The important role of category theory in this area is discussed and it is shown how the following selected problems are treated using category theory: First, a unified framework for specification logics, second compositional semantics, third partial algebras and their specification, and fourth specifications and models for concurrent systems. For the solution of two of the problems classifying categories are used. They allow to present categories of algebras as functor categories and to derive a number of important properties from well known results for functor categories.</div></front></TEI><affiliations><list><country><li>Allemagne</li></country><region><li>Berlin</li></region><settlement><li>Berlin</li></settlement><orgName><li>Université technique de Berlin</li></orgName></list><tree><country name="Allemagne"><region name="Berlin"><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name></region><name sortKey="Gro E Rhode, Martin" sort="Gro E Rhode, Martin" uniqKey="Gro E Rhode M" first="Martin" last="Gro E-Rhode">Martin Gro E-Rhode</name><name sortKey="Wolter, Uwe" sort="Wolter, Uwe" uniqKey="Wolter U" first="Uwe" last="Wolter">Uwe Wolter</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B390 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00B390 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:A5FF0CC5E3C5AB46022FDB9451FB40A250E4BC54
|texte= Applications of Category Theory to the Area of Algebraic Specification in Computer Science
}}
| This area was generated with Dilib version V0.6.33. |  |